// SSx.gr.in   -*- c++ -*-
// first nondeterministic grammar from even-faster

// S -> S S x | x

terminals {
  x
}

nonterm S {
  -> a:S b:S x;
  -> x;
}
